Modellbasierte Sicherheitsanalyse mit UMLsec: Ein biometrisches Zugangskontrollsystem
نویسندگان
چکیده
Im Rahmen des Verisoft-Projekts [ver03] entsteht in Zusammenarbeit mit T-Systems [SL04] ein biometrisches Zugangskontrollsystem, dessen Sicherheitseigenschaften von zentraler Bedeutung sind. In dieser Fallstudie wird UMLsec, eine Erweiterung von UML, verwendet, um das zu entwickelnde System zu modellieren und auf Modellebene die sicherheitskritischen Aspekte zu untersuchen.
منابع مشابه
Sicherheitsanalyse mit JOANA
JOANA ist ein System zur Software-Sicherheitsanalyse, das bis zu 100kLOC volles Java mit Threads analysieren kann. JOANA basiert auf modernen Verfahren zur Programmanalyse und erzeugt deshalb wenig Fehlalarme. JOANA enthält einen “iRLSOD” Algorithmus, der probabilistische Nichtinterferenz garantiert. JOANA ist Open Source, braucht wenige Annotationen und lässt sich leicht bedienen. Der Artikel ...
متن کاملModellbasierte Entscheidungsunterstützung im Umweltbereich mit qualitativen Modellen
In den Projekten QUALIDADE (Qualitative Modeling in Domain of Automated Diagnosis and Ecology) und MERMAID (Model-based Environmental Resource Management Aid), die an der TU München koordiniert werden, werden modellbasierte Techniken erweitert und angewendet, um die Entscheidungsunterstützung im Umweltbereich zu verbessern. Dabei werden die Ökosysteme, ein Fluß in Südbrasilien bzw. Mangrovenwäl...
متن کاملAn Industry Case Study on Semi-automated Generation of Component Fault Trees from Simulink-Models
Kurzfassung: Seit mehreren Jahren wird an einer stärkeren Integration von modellbasierter Systementwicklung und Sicherheitsanalyse geforscht. In diesem Paper werden ein Ansatz und ein Werkzeug zur besseren und frühzeitigen Verzahnung zwischen der Systementwicklung und der Sicherheitsanalyse präsentiert. Im Vordergrund des Ansatzes steht die Verknüpfung der in der Industrie etablierten Werkzeuge...
متن کاملTagungsband Des Dagstuhl-workshops Modellbasierte Entwicklung Eingebetteter Systeme X
Dieser technische Beitrag beschreibt, wie ein Altsystem aus den 1990er Jahren erfolgreich umgestellt wurde: von der Methode Strukturierte Analyse mit dem Werkzeug Teamwork über ein Reverse Engineering-Modell mit UML bis hin zur vollstufigen MDA mit CIM, PIM, PSM, Modell-zu-Modell-Transformationen und Codegenerierung im Hybridbetrieb mit dem Altsystem.
متن کاملIT-Projektkostenschätzung - Ein pragmatischer Ansatz
Die Kostenschätzung für IT-Projekte ist ein vergleichsweise altes und seit langem behandeltes Thema, das in der Vergangenheit insbesondere im Bereich der Softwareentwicklungsprojekte eine breite Spanne an Schätztechniken hervorgebracht hat (Jørgensen und Shepperd 2007). Nichtsdestotrotz zeigen regelmäßig durchgeführte Studien wie der CHAOS Report, dass beispielsweise im Jahr 2008, neben einem v...
متن کامل